Graphs realised by r.e. equivalence relations
نویسندگان
چکیده
We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on ω. In particular we compare r.e. equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders.
منابع مشابه
Imprimitive Homogeneous Simple 3 - graphs , part 1
We prove that there is only one imprimitive homogeneous simple unstable 3-graph with finite classes such that all predicates are realised in the union of two classes. 1 Definitions and context. Definition 1.1. An n-graph is a structure (M,R1, . . . , Rn) in which each Ri is binary, irreflexive and symmetric; also, for all distinct x, y ∈ M exactly one of the Ri holds and n ≥ 2. We assume that a...
متن کاملReducibilities among equivalence relations induced by recursively enumerable structures
In this paper we investigate the dependence of recursively enumerable structures on the equality relation which is fixed to a specific r.e. equivalence relation. We compare r.e. equivalence relations on the natural numbers with respect to the amount of structures they permit to represent from a given class of structures such as algebras, permutations and linear orders. In particular, we show th...
متن کاملComplexity of Equivalence Relations and Preorders from Computability Theory
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations R,S, a componentwise reducibility is defined by R ≤ S ⇐⇒ ∃f ∀x, y [xRy ↔ f(x)Sf(y)]. Here f is taken from a suitable class of effective functions. For us the relations will be on natural numbers, and f must be computable. We show that there is a Π1-comp...
متن کاملStacked 4-polytopes with Ball Packable Graphs
After investigating the ball-packability of some small graphs, we give a full characterisation, in terms of forbidden induced subgraphs, for the stacked 4-polytopes whose 1-skeletons can be realised by the tangency relations of a ball packing.
متن کاملA Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs
The conditional independence relations present in a data set usually admit multiple causal explanations — typically represented by directed graphs — which are Markov equivalent in that they entail the same conditional independence relations among the observed variables. Markov equivalence between directed acyclic graphs (DAGs) has been characterized in various ways, each of which has been found...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014